

/**
 * the creator of a state observer leaves empty the invariant
 */
public class StateObserver extends Element {

	StateObserverVis vis;
	private Expr inv;

}